explizite formel